Reset Reproduction of Preprint Distributed at the Third International Workshop on Nonmonotonic Reasoning, Rational Belief Revision
نویسنده
چکیده
Theories of rational belief revision recently proposed by GG ardenfors and Nebel illuminate many important issues but impose unnecessarily strong standards for correct revisions and make strong assumptions about what information is available to guide revisions. We reconstruct these theories according to an economic standard of rationality in which preferences are used to select among alternative possible revisions. By permitting multiple partial speciications of preferences in ways closely related to preference-based nonmonotonic logics, the reconstructed theory employs information closer to that available in practice and ooers more exible ways of selecting revisions. We formally compare this notion of rational belief revision with those of GG ardenfors and Nebel, adapt results about universal default theories to prove that there is no universal method of rational belief revision, and examine formally how diierent limitations on rationality aaect belief revision.
منابع مشابه
Report on the Seventh International Workshop on Nonmonotonic Reasoning
by Isaac Levi; (3) Nonmonotonic Reasoning in the Service of Elaboration Tolerance by John McCarthy; (4) Learning to Make Nonmonotonic Inferences by Dan Roth; and (5) From Features and Fluents to Thinking When Flying—Reasoning about Actions in an Intelligent UAV by Erik Sandewall. Both the new format and the scheduling of the workshop in conjunction with the KR Conference proved to be highly fru...
متن کاملFoundations and Challenges of Change and Evolution in Ontologies (Dagstuhl Seminar 12441)
This report documents the program and the outcomes of Dagstuhl Seminar 12441 “Foundations and Challenges of Change and Evolution in Ontologies”, held from 28 October to 2 November 2012. The aim of the workshop was to bring together researchers working in the areas of logic-based ontologies, belief change, and database systems, along with researchers working in relevant areas in nonmonotonic rea...
متن کاملA conceptual framework for (iterated) revision, update, and nonmonotonic reasoning
This paper makes a foundational contribution to the discussions on the very nature of belief change operations. Belief revision and belief update are investigated within an abstract framework of epistemic states and (qualitative or quantitative) conditionals. Moreover, we distinguish between background knowledge and contextual information in order to analyse belief change more appropriately. Th...
متن کاملLogic and Choice A Perspective on Belief Revision and Nonmonotonic Reasoning
Choice or selection functions are a classical device in the semantic study of conditionals, belief revision and nonmonotonic reasoning (see for instance Lewis 1973, Alchourr6n, G£rdenfors and Makinson 1985, Delgrande 1987). It has been pointed out repeatedly that particular properties of choice functions are needed to yield some particular properties of the desired logics (Lewis 1973, p. 58; Nu...
متن کاملProceedings of the 11th Workshop on Nonmonotonic Reasoning
These are the proceedings of the 11th Nonmonotonic Reasoning Workshop. Theaim of this series http://www.kr.org/NMR/ is to bring together active re-searchers in the broad area of nonmonotonic reasoning, including belief revision,reasoning about actions, planning, logic programming, argumentation, causality,probabilistic and possibilistic approaches to KR, and other related topics...
متن کامل